input{-}dcdr\{i:l\}(${\it es}$;${\it Cmd}$;${\it Sys}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$TERMOF\{decidable\_\_input:ObjectId, 1:l, i:l\}(${\it es}$,${\it Cmd}$,${\it Sys}$)